Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications
نویسندگان
چکیده
A formal specification is beyond the comprehension of the average software customer. As a result, the customer cannot provide useful feedback regarding its correctness and completeness. To address this problem, we suggest the formalism expert to work with the customer to create precise scenarios. A precise scenario describes an operation by its effects on the system state with only a few simple Z concepts. The customer would find a concrete precise scenario easier to understand than its corresponding abstract schema. The Z expert derives schemas based on the precise scenarios. Precise scenarios affords user involvement that improves the odds of a formal specification fully capturing the user requirements.
منابع مشابه
Requirements specification using concrete scenarios
The precision of formal specifications allows us to prove program correctness. Even if formal methods are not used throughout the software project, formalisation improves our understanding of the problem. Formal specifications are amenable to automated analysis and consistency checking. However using them is challenging. Customers do not understand formal notations. Specifiers have difficulty t...
متن کاملCinematographic Validation : Techniques and Tools
Application Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied information systems. Formal approaches and modeling tools, incorporated in the CASE technology, are used to aid the Requirements Engineering (RE) activity, which leads to a high level specification of Information Systems. It is widely accepted that the Valid...
متن کاملA Supporting Toolfor Syntactic Analysis ofSOFL
SOFL formal specifications have been proved to be useful and expressive enough in describing functional requirements for software development. Based on SOFL formal specifications, many techniques have been proposed to provide us with effective solutions for software verification and validation. To support these techniques, a tool support for analysis of specifications is necessary. However, suc...
متن کاملTest Generation from Formal Specifications
Requirements serve as the basis of test generation. Requirements for a program under test can be known to the test generator in a variety of forms. A commonly used form is a plain English language description. The tester generates test cases from these requirements. While requirements written in plain English allow quick understanding and dissemination to a wide audience, they suffer from sever...
متن کاملMultiple Destination Influence on Production Scheduling in Multi-element Mines
In multi-element deposits, different blocks are blended together to create a product with a predetermined quality. Generally, blending aims to obtain a special quality and quantity based on determining the processing plant or customer needs. However, blending causes different products based on the deposit properties. Thus, a block is blended with others to create one of many possible products. ...
متن کامل